Perforated Altar-Tomb at Newington-Street, in Kent

Computer Science at Kent

This talk sets out the problem domain for model transformation and introduces a set of use cases for transformation including model differencing, pattern expansion, model merging and weaving, alternate views and generation of platform specific artifacts from a platform independent model. The talk also discusses where model transformation fits into the development process and who we can expect t...

Murine "model" monotheism: an iconoclast at the altar of mouse.

Computer Science at Kent Mobile Processes in Unifying Theories

This report presents the initial work in the development of a theory of mobile processes in Circus, a language for describing state-based reactive systems. The mathematical basis for the work is Hoare and He’s Unifying Theories of Programming (UTP), where the alphabetised relational calculus is used to provide a common framework for the semantics and refinement calculus of different programming...

Burglarizing Nietzsche’s Tomb

This essay analyzes the connection between Nietzsche’s philosophy and contemporary transhumanism, on the basis of his Apollonian-Dionysian dichotomy and how it articulated in lateRomantic European culture. Nietzsche’s personal insanity, and the morbidity of the Romantic Movement in general, can serve as a warning of what transhumanism might become if it overemphasizes individualism. Nietzsche’s...

Design for a Tomb

A design for a tomb does not ordinarily interest anyone but the designer and his client. There is, however, in the Museum Print Department a sixteenth-century tomb drawing of more than ordinary interest, since it presents a puzzle as rich in clues as a detective story. Once folded in half and bound in a scrapbook with the shop drawings of an unidentified atelier, this drawing shows an elaborate...